Logical connectives - PDFSEARCH.IO - Document Search Engine

Logical connectives
Results: 104

#	Item
31	www.computing.me.uk Fortran 77 : 4. Relational and Logic Operators Relational operators in logical statements are used control the flow of code. In this document we simply consider the coding and results of relational o Add to Reading List Source URL: www.computing.me.uk Language: English - Date: 2010-10-04 16:47:44 Logical connectives Boolean algebra Procedural programming languages Propositional calculus Semantics Relational operator Operator Fortran FALSE Computing Software engineering Computer programming
32	How Implication Is Understood Author(s): P. N. Johnson-Laird and Joanna Tagart Source: The American Journal of Psychology, Vol. 82, No. 3 (Sep., 1969), pp[removed]Published by: University of Illinois Press Stable URL: h Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 17:20:20 Logical connectives Conditionals Philosophical logic Material conditional Paradoxes of material implication Exclusive or If and only if Entailment Contraposition Logic Propositional calculus Binary operations
33	CHAPTER TRUTH TABLES, LOGIC, AND PROOFS ■ 1.1 Add to Reading List Source URL: www.macrotex.net Language: English - Date: 2002-12-01 12:22:21 Mathematics Abstract algebra Logical connectives Semantics Truth table Negation If and only if Vacuous truth Tautology Logic Propositional calculus Boolean algebra
34	This article was downloaded by: [Princeton University] On: 05 June 2012, At: 09:57 Publisher: Psychology Press Informa Ltd Registered in England and Wales Registered Number: [removed]Registered office: Mortimer House, 37- Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-06 02:48:02 Propositional calculus Grammar Semantics Logical connectives Model theory Negation Logic programming First-order logic Axiom Logic Mathematical logic Science
35	Mem Cogn[removed]:266–279 DOI[removed]s13421[removed]Reasoning from connectives and relations between entities Robert Mackiewicz & Philip N. Johnson-Laird Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-30 19:08:07 Propositional calculus Reasoning Boolean algebra Binary operations Logical connectives Logical biconditional Mental model Validity Inference Logic Science Knowledge
36	This article was downloaded by: [Princeton University] On: 11 May 2010 Access details: Access Details: [subscription number[removed]Publisher Psychology Press Informa Ltd Registered in England and Wales Registered Num Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:41:44 Binary operations Philosophical logic Logical connectives Counterfactual conditional Material conditional Mental model Conditional sentence Causality Logical biconditional Logic Conditionals Propositional calculus
37	Dynamic Proof Theories For Reasoning With Conditionals Christian Straßer and Mathieu Beirlaen and Frederik Van De Putte Centre for Logic and Philosophy of Science Ghent University, Belgium Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-05-29 05:24:27 Conditionals Modal logic Deontic logic Logical connectives Philosophical logic Material conditional Strict conditional Logic Mathematical logic Propositional calculus
38	The Elements of Computing Systems Add to Reading List Source URL: www.nand2tetris.org Language: English - Date: 2012-07-23 06:34:26 Boolean algebra Logic gates Algebraic logic Propositional calculus Logical connectives XOR gate Boolean function AND gate OR gate Abstract algebra Mathematical logic Mathematics
39	LogiCell Jean-Philippe Rennard, Ph.D., [removed]LogiCell 1.0 We have seen in Introduction to CA that the Game of Life has Universal computation capabilities. Add to Reading List Source URL: www.rennard.org Language: English - Date: 2014-07-28 10:11:15 Mathematical logic Propositional calculus Logical connectives Binary operations Algebraic logic Exclusive or Truth table Logical disjunction Boolean data type Abstract algebra Mathematics Boolean algebra
40	For the anthology FORM, Pfau Verlag, 1999 Tom Johnson On Form For me the most important aspect of form is the relationship between the microcosm Add to Reading List Source URL: www.editions75.com Language: English - Date: 2006-10-14 10:27:11 Propositional calculus Semantics Logical connectives Logic Esoteric cosmology Macrocosm and microcosm Group Logic programming Negation Science Mathematics Symmetry

UPDATE